A formal design language for real-time systems with data
نویسندگان
چکیده
منابع مشابه
An implementable formal language for hard real-time systems
A real-time computer system may be demanded not only to produce correct results, but also to produce these results at the correct time. If high levels of assurance are required that such requirements are met, then standard veri cation techniques, such as testing, may not be adequate. In this case, more rigorous techniques for demonstrating correctness are required, and formal (i.e. mathematical...
متن کاملA Practical Approach to Formal Design of Real-Time Systems
Formal methods are being increasingly used in engineering industrial software. They are mostly used for specifying and verifying software requirements, but seldom in later development phases. This paper tries to bridge the gap between formal requirements specification and final code by introducing a formally defined design notation. The proposed design notation extends structured analysis speci...
متن کاملA Graphical Language with Formal Semantics for the Speci cationand Analysis of Real - Time Systems
Graphical Communicating Shared Resources , GCSR, is a formal language for the speciica-tion and analysis of real-time systems including their functional and resource requirements. GCSR allows a modular and hierarchical, and thus, scalable specii-cation of a real-time system. GCSR supports notions of communication through events, interrupt, concur-rency, and time to describe a real-time system. ...
متن کاملA Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems
Graphical Communicating Shared Resources, GCSR, is a formal language for the speci cation and analysis of real-time systems including their functional and resource requirements. GCSR allows a modular and hierarchical, and thus, scalable speci cation of a real-time system. GCSR supports notions of communication through events, interrupt, concurrency, and time to describe a real-time system. In a...
متن کاملFormal Design of Reliable Real Time Systems Theme: Reliable Real Time Systems Participants: Supervisor: Preface
This thesis presents formal techniques to be used when describing and developing reliable real time systems. Three diierent probabilistic real time logics, used to specify about reliable real time processes in terms of timed probabilistic graphs, are presented. Algorithms for verifying implementations with respect to spec-iications in the developed logics are presented. An algorithm to construc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2001
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(00)00025-3